Wyniki
-
Deductive systems and congruence relation in ortholattices
Roberto Cignoli
Bulletin of the Section of Logic , 7 /2 (1978) s. 87 -
On a Substructural Logic with Minimal Negation
Roberto Arpaia
Bulletin of the Section of Logic , 33 /3 (2004) s. 143-156